Functional verification of programmable embedded architectures - a top-down approach
نویسندگان
چکیده
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the functional verification of programmable embedded architectures a top down approach book. You can open the device and get the book by on-line.
منابع مشابه
A Verification Methodology for Programmable and Reconfigurable Processors
An innovative approach for functional verification, embedded in a design and verification environment, will be presented. The approach permits the reuse of test patterns by the combination of a top level test-bench and subordinated module test-benches in a unique manner. It is based on a new Add-on tool, which extends ModelSim/Questa by powerful features to stimulate, compare, and trace of sign...
متن کاملVerification of in-order execution in pipelined processors
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. System architects critically need modeling techniques that allow exploration, evaluation, customization and validation of different processor pipeline configurations, tuned for a specific application domain. We propose...
متن کاملApplication driven network-on-chip architecture exploration & refinement for a complex SoC
This article presents an overview of the design process of an interconnection network, using the technology proposed by Arteris. Section 2 summarizes the various features a NoC is required to implement to be integrated in modern SoCs. Section 3 describes the proposed top-down approach, based on the progressive refinement of the NoC description, from its functional specification (Sect. 4) to its...
متن کاملComponent-based hardware/software co-verification for building trustworthy embedded systems
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...
متن کاملComponent - Based Hardware / Software Co - Verification for Building Trustworthy
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...
متن کامل